Issue1076.agda:3,1-39
OPTIONS pragma only allowed at beginning of file, before top module
declaration
when checking the pragma OPTIONS --no-termination-check
